-
1 well-founded ordering
Большой англо-русский и русско-английский словарь > well-founded ordering
-
2 well-founded ordering
Математика: фундированное упорядочение -
3 well-founded ordering
English-Russian scientific dictionary > well-founded ordering
-
4 ordering
1) упроядочение || упорядочивающий4) крист. формирование упорядоченной структуры5) расположение, ориентация• -
5 фундированное упорядочение
Русско-английский научно-технический словарь Масловского > фундированное упорядочение
-
6 фундированное упорядочение
Большой англо-русский и русско-английский словарь > фундированное упорядочение
-
7 фундированное упорядочение
Mathematics: well-founded orderingУниверсальный русско-английский словарь > фундированное упорядочение
-
8 handfest
Adj.1. Person: sturdy, strong3. fig. Beweise etc.: tangible, concrete; Argument, Vorschlag etc.: serious, solid; Drohung: serious; Skandal, Konflikt etc.: full-blown; handfeste Lüge out and out lie* * *hạnd|festadj2) (fig) Schlägerei violent; Skandal huge; Vorschlag, Argument well-founded, solid; Beweis solid, tangible; Interesse strong; Lüge, Betrug flagrant, blatant* * *(firm and strongly made (and therefore sound and reliable): That's a solid piece of furniture; His argument is based on good solid facts/reasoning.) solid* * *hand·fest1. (deftig) substantialich bestelle mir etwas H\handfesteres als einen Salat I'm ordering something more substantial than a salad2. (robust) sturdy▪ etwas H\handfestes something well-built3. (ordentlich) proper, real4. (hieb- und stichfest) well-foundedich hoffe, Sie haben \handfeste Beweise für Ihre Behauptung I hope you've got solid proof for your allegation* * *1) (kräftig) robust; sturdy3) (gewichtig) solid, tangible < proof>; concrete < suggestion>; full-blooded, violent < row>; complete < lie>; well-founded < argument>; real, thorough < beating>* * *handfest adj1. Person: sturdy, strong2. Essen: substantial;handfeste Mahlzeit good, square meal3. fig Beweise etc: tangible, concrete; Argument, Vorschlag etc: serious, solid; Drohung: serious; Skandal, Konflikt etc: full-blown;handfeste Lüge out and out lie* * *1) (kräftig) robust; sturdy2) (deftig) substantial <meal etc.>3) (gewichtig) solid, tangible < proof>; concrete < suggestion>; full-blooded, violent < row>; complete < lie>; well-founded < argument>; real, thorough < beating>* * *adj.stalwart adj. -
9 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set -
10 handfest
hand·fest adj1) ( deftig) substantial;etwas H\handfestes something substantial;ich bestelle mir etwas H\handfesteres als einen Salat I'm ordering something more substantial than a salad2) ( robust) sturdy;etwas H\handfestes something well-built3) ( ordentlich) proper, real;die Affäre wuchs sich zu einem \handfesten Skandal aus the affair turned into a full-blown scandal4) ( hieb- und stichfest) well-founded;ich hoffe, Sie haben \handfeste Beweise für Ihre Behauptung I hope you've got solid proof for your allegation -
11 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation
См. также в других словарях:
Well-quasi-ordering — In mathematics, specifically order theory, a well quasi ordering or wqo is a well founded quasi ordering with an additional restriction on sequences that there is no infinite sequence x i with x i ot le x j for all i < j . Motivation We can use… … Wikipedia
Well-founded relation — In mathematics, a binary relation, R, is well founded (or wellfounded) on a class X if and only if every non empty subset of X has a minimal element with respect to R; that is, for every non empty subset S of X, there is an element m of S such… … Wikipedia
Well-order — In mathematics, a well order relation (or well ordering) on a set S is a total order on S with the property that every non empty subset of S has a least element in this ordering.Equivalently, a well ordering is a well founded total order.The set… … Wikipedia
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
MUSIC — This article is arranged according to the following outline: introduction written sources of direct and circumstantial evidence the material relics and iconography notated sources oral tradition archives and important collections of jewish music… … Encyclopedia of Judaism
BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon … Encyclopedia of Judaism
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Structural induction — is a proof method that is used in mathematical logic (e.g., the proof of Łoś theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction. Structural recursion is a recursion… … Wikipedia
Ordinal number — This article is about the mathematical concept. For number words denoting a position in a sequence ( first , second , third , etc.), see Ordinal number (linguistics). Representation of the ordinal numbers up to ωω. Each turn of the spiral… … Wikipedia
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
Radovan Karadžić — For other people of the same name, see Karadžić. Radovan Karadžić Радован Караџић Radovan Karadžić in Moscow on 3 March 1994 1st President of Republika Srpska … Wikipedia